Model checking communicative agent-based systems
نویسندگان
چکیده
منابع مشابه
Model Checking Communicative Agent-Based Systems
Model checking is a formal technique used to verify communication protocols against given properties. In this paper, we address the problem of verifying systems designed as a set of autonomous interacting agents using such a technique. These software agents are equipped with knowledge and beliefs and interact with each other according to protocols governed by a set of logical rules. We present ...
متن کاملModel checking GSM-based multi-agent systems
Artifact systems are a novel paradigm for implementing service oriented computing. Business artifacts include both data and process descriptions at interface level thereby providing more sophisticated and powerful service inter-operation capabilities. In this paper we put forward a technique for the practical verification of business artifacts in the context of multi-agent systems. We extend GS...
متن کاملModel checking multi-agent systems
A multi-agent system (MAS) is usually understood as a system composed of interacting autonomous agents. In this sense, MAS have been employed successfully as a modelling paradigm in a number of scenarios, especially in Computer Science. However, the process of modelling complex and heterogeneous systems is intrinsically prone to errors: for this reason, computer scientists are typically concern...
متن کاملModel Checking Multi-Agent Systems
Multi-agent systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can be generalized to deal with multi-agent systems. This paper explores a particular type of multi-agent system, in which each agent is viewed as having the three menta...
متن کاملModel Checking Multi-Agent Systems
Model checking [2] has been applied to many areas of software and hardware verification; this includes hybrid systems, which contain both hardware and software components. To model hybrid systems both types of component are included in a single model. In this research we consider hybrid systems in which multiple agents interact in an environment. An agent is a simple robot capable of moving, de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Knowledge-Based Systems
سال: 2009
ISSN: 0950-7051
DOI: 10.1016/j.knosys.2008.11.006